مصنفاته : ترك لنا ابن الهائم عشرات المصنفات التي دبجها قلمه ، منها ما أنجزه في حياته ، ومنها ما لم يقدر اللّه له أن يكملها . أولا : فمن المؤلفات التي أكملها : 1 - التبيان في تفسير غريب القرآن . وهو كتابنا الذي نقدمه للقراء . 2 - التحرير لدلالة نجاسة الخنزير ( الضوء اللامع 2 / 157 ، طبقات المفسرين 1 / 83 ، إيضاح المكنون 1 / 233 ، هدية العارفين 1 / 120 ) . 3 - 5 - تحفة الطلاب في نظم قواعد الإعراب لابن هشام ( أرجوزة ) ( الضوء اللامع 2 / 158 ، كشف الظنون 124 ، هدية العارفين 1 / 120 ) . وقد قام المؤلف بشرح نظمه مرتين : أحد الشرحين مطول ، والآخر مختصر ( الضوء 2 / 158 ، وطبقات المفسرين 1 / 12 ) . 6 - التحفة القدسية في أخبار الرجبية ( نظم في الفرائض ) ( الضوء اللامع 2 / 157 ، طبقات المفسرين 1 / 82 ، هدية العارفين 1 / 20 ، كشف الظنون 372 وفيه « اختصرها من الرجبية » . واسمه في الضوء اللامع ، وطبقات المفسرين « النفحة القدسية » وممن شرحها زكريا الأنصاري ( كشف الظنون 372 ، وبروكلمان ق 6 / 519 ) وكذلك سبط المارديني ( بروكلمان ق 6 / 519 ) وإبراهيم بن محمد المري ( طبقات المفسرين 1 / 17 ) . 7 - تحقيق المعقول والمنقول في نفي الحكم الشرعي عن الأفعال قبل بعثة الرسول ( الضوء 2 / 158 ، طبقات المفسرين 1 / 82 ، البدر 1 / 147 وفيه « في رفع الحكم » ، هدية العارفين 1 / 120 ) . 8 - ترغيب الرائض في علم الفرائض ( الضوء 2 / 157 ، طبقات المفسرين 1 / 82 ، إيضاح المكنون 1 / 282 ، هدية العارفين 1 / 120 ، بروكلمان ق 6 / 518 ، وذكر أنه علق عليه سبط المارديني وزكريا الأنصاري ) . 9 - الجمل الوجيزة في الفرائض ( الضوء 2 / 157 ، البدر 1 / 117 ) . 10 - الحاوي في الحساب ( كشف الظنون 629 وذكر أنه توفي سنة 927 كما ذكر أن أحمد بن صدقة الصديقي نظمه ، وفي طبقات المفسرين في ترجمة أحمد بن